161. Grammatical inference: theoretical results and application
المؤلف: / ICGI 2010, Valencia, Spain, September 13 - 16, 2010. Josae M. Sempere
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
E-BOOK
162. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
المؤلف: Jan Heering...]et al.[, eds
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
816
163. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
المؤلف: Gilles Dowek ... ]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1074
164. Higher order logic theorem proving and its applications :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA76
.
9
.
H5
1995
165. Higher order logic theorem proving and its applications
المؤلف: / Organized by CHEOPS ESPRIT BRA 3215
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96I34
1993
166. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I34
1992
167. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Collcquium, Kiel, 1974
المؤلف: International Summer Institute and Logic Colloquium, University of Kiel
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
168. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
المؤلف: edited by G. H. Muller, A. Oberschelp, K. Potthoff
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
1
.
L4
v
.
499
169. ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
المؤلف: edited by G. H. Muller, A. Oberschelp, and K. Potthoff
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
Vol
.
499
170. ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
3
.
L28
no
.
499
171. Intelligent computer mathematics
المؤلف: / Serge Autexier ... [et al] (eds.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
172. Intelligent computer mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
173. Interactive Theorem Proving
المؤلف: \ Christian Urban, Xingyuan Zhang (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
174. Interactive logic :
المؤلف: edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
175. Intuitionism and proof theory; Proceedings of the Summer Conference at Buffalo N. Y. 1968
المؤلف: / edited by A. Kino, J. Myhill, R. E. Vesley
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical - Congresses
رده :
511
.
3
C748
1968
176. Islic logic conferene
المؤلف: / edited by G. H. Muller, A. Oberschelp and K. Potthoff
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
رده :
510
.
8
L471
No
.
499
177. KI 2015
المؤلف: \ [edited by] Steffen Hölldobler...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
178. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
المؤلف: Logic Colloquium, Wroclaw, Poland
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
رده :
QA
9
.
A1
.
L63
1977
179. Logic Colloquium '81 :
المؤلف: edited by J. Stern
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L63
1981
180. Logic Colloquium 2006
المؤلف: edited by S. Barry Cooper, ... ]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
32
